Tree model - PDFSEARCH.IO - Document Search Engine

Tree model
Results: 571

#	Item
251	Mona & Fido: The Logic-Automaton Connection in Practice Nils Klarlund AT&T Labs{Research Florham Park, NJ Add to Reading List Source URL: www.brics.dk Language: English - Date: 2007-03-08 16:49:34 Boolean algebra Model checking Mathematics Formal methods Binary decision diagram Models of computation Finite-state machine Tree automaton Computability Automata theory Theoretical computer science Diagrams
252	Three quantum learning algorithms Ashley Montanaro Talk based on joint work with Andris Ambainis and ongoing joint work with Scott Aaronson, David Chen, Daniel Gottesman and Vincent Liew. 11 March 2013 Add to Reading List Source URL: www.damtp.cam.ac.uk Language: English - Date: 2013-03-11 13:38:24 Quantum algorithm Quantum information science Pierian Spring FO Decision tree model Theoretical computer science Applied mathematics Computational complexity theory
253	Games and Automata for Verification ¨ Christof Loding RWTH Aachen, Germany 2009 Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2012-05-29 10:55:52 Automata theory Tree Linear temporal logic Temporal logic Model checking
254	STAT 535 Lecture 6 Inference in Graphical models: Sum-Product Algorithm c Marina Meil˘a [removed] Add to Reading List Source URL: www.stat.washington.edu Language: English - Date: 2015-02-05 19:48:58 Clique Graphical model NP-complete problems Tree decomposition Belief propagation Path decomposition Clique problem Graph theory Graph operations Chordal graph
255	STAT 535 Lecture 4.3 Decomposable graphical models, triangulation and the Junction Tree c Marina Meil˘a Add to Reading List Source URL: www.stat.washington.edu Language: English - Date: 2015-02-03 12:54:11 Clique Tree decomposition Graphical model Markov random field Graph Minimum spanning tree Decomposition method Path decomposition Graph theory Graph operations Chordal graph
256	Nat. Hazards Earth Syst. Sci., 15, 603–615, 2015 www.nat-hazards-earth-syst-sci.net[removed]doi:[removed]nhess[removed] © Author(s[removed]CC Attribution 3.0 License. Developing a functional model for cities im Add to Reading List Source URL: www.nat-hazards-earth-syst-sci.net Language: English - Date: 2015-03-16 02:34:22 Systems theory Failure Safety engineering Systems analysis Fault tree analysis Failure causes Function model Threat System Systems engineering Systems science Reliability engineering
257	2 Studies on Network Computational Machines Based on Molecular Interactions SUZUKI Hideaki Recent studies on network artificial chemistry (NAC) is surveyed. First, a model of active clusters created through the mathemati Add to Reading List Source URL: www.nict.go.jp Language: English - Date: 2013-11-21 20:25:42 Theoretical computer science Network topology Connectivity Topology Degree distribution Shortest path problem Tree Graph theory Mathematics Network theory
258	School of Computer Science College of Engineering and Computer Science Nearest Neighbour Search with Zero-Suppressed Decision Diagram for Text Retrieval Add to Reading List Source URL: users.cecs.anu.edu.au Language: English - Date: 2014-11-14 04:01:13 Search algorithms Diagrams Discrete geometry Nearest neighbor search Vector space model MinHash Hash function Binary decision diagram K-d tree Information science Science Information retrieval
259	Applying the DOM Object model to structured binary file formats The Document Object Model (DOM) is a general API for accessing SGML and XML documents that was developped by the W3 Consortium. The DOM API works on a tree Add to Reading List Source URL: www.optimasc.com Language: English - Date: 2010-10-16 12:32:24 XML Tagged Image File Format Resource Interchange File Format Portable Network Graphics File system Binary file Xena COM Structured Storage Computing Computer file formats File format
260	Automated Implementation of Complex Distributed Algorithms Specified in the IOA Language∗ Chryssis Georgiou Nancy Lynch Add to Reading List Source URL: www.cs.ucy.ac.cy Language: English - Date: 2005-11-11 05:43:22 Spanning tree Computer programming Models of computation Message Passing Interface Parallel computing Algorithm I/O Automaton Model checking Finite-state machine Computing Automata theory Theoretical computer science

UPDATE